02 - קבוצות של מספרים, הוכחות מתמטיות